TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

Symbolic Bisimulation in the Spi Calculus
Zitatschlüssel DBLP:conf/concur/BorgstromBN04
Autor Johannes Borgström and Sébastien Briais and Uwe Nestmann
Buchtitel CONCUR
Seiten 161-176
Jahr 2004
Link zur Originalpublikation Download Bibtex Eintrag

Zurück

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe